#ifndef	_P_IRQ_H
#define	_P_IRQ_H

#include "peripherals/base.h"

#define IRQ_PENDING_0_CORE_0   	    (PBASE+0x0000B200)
#define IRQ_PENDING_1_CORE_0		(PBASE+0x0000B204)
#define IRQ_PENDING_2_CORE_0		(PBASE+0x0000B208)
//#define FIQ_CONTROL		    (PBASE+0x0000B20C)
#define ENABLE_IRQS_0_CORE_0		(PBASE+0x0000B210)
#define ENABLE_IRQS_1_CORE_0		(PBASE+0x0000B214)
#define ENABLE_IRQS_2_CORE_0		(PBASE+0x0000B218)

#define DISABLE_IRQS_0_CORE_0		(PBASE+0x0000B220)
#define DISABLE_IRQS_1_CORE_0		(PBASE+0x0000B224)
#define DISABLE_IRQS_2_CORE_0		(PBASE+0x0000B228)

#define SYSTEM_TIMER_IRQ_0	(1 << 0)
#define SYSTEM_TIMER_IRQ_1	(1 << 1)
#define SYSTEM_TIMER_IRQ_2	(1 << 2)
#define SYSTEM_TIMER_IRQ_3	(1 << 3)

#endif  /*_P_IRQ_H */